#Thu Nov 20 10:03:01 GMT 2008
spelling_locale_initialized=true
useAnnotationsPrefPage=true
spelling_locale=en_GB
eclipse.preferences.version=1
useQuickDiffPrefPage=true
